Empirical Validation of Test Case Generation based on All-edge Coverage Criteria
نویسندگان
چکیده
منابع مشابه
ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation
This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for testing purposes. We define for ASM specifications a set of adequacy criteria measuring the coverage achieved by a test suite, and determining whether sufficient testing has been performed. We introduce a method to automatically generate from ASM specifications test sequences which accomplish a des...
متن کاملCombining Multiple Coverage Criteria in Search-Based Unit Test Generation
Automated test generation techniques typically aim at maximising coverage of well-established structural criteria such as statement or branch coverage. In practice, generating tests only for one specific criterion may not be sufficient when testing object oriented classes, as standard structural coverage criteria do not fully capture the properties developers may desire of their unit test suite...
متن کاملValidation and application of empirical shear wave velocity models based on standard penetration test
Shear wave velocity is a basic engineering tool required to define dynamic properties of soils. In many instances it may be preferable to determine Vs indirectly by common in-situ tests, such as the Standard Penetration Test. Many empirical correlations based on the Standard Penetration Test are broadly classified as regression techniques. However, no rigorous procedure has been published for c...
متن کاملComposition of Model-based Test Coverage Criteria
In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling fle...
متن کاملEmpirical Validation of Variable based Test Case Prioritization/Selection Technique
Regression test case prioritization optimizes the ordering of test cases to be executed to meet some criteria like maximum code coverage or high rate of fault detection. In prior work we prioritized test cases according to a hybrid technique using variable based method that combined both selection and prioritization. We inferred in our approach that variables are vital source of changes in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2015
ISSN: 0975-8887
DOI: 10.5120/ijca2015906219